Konrad Dudzik Jerzy Hausner Hubert Izdebski Tomasz Kucharski Norbert Laurisz's Documents

Konrad Dudzik Jerzy Hausner Hubert Izdebski Tomasz Kucharski Norbert Laurisz's Documents

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Farewell to the Yahwist?: The Composition of the Pentateuch in Recent European Interpretation (Society of Biblical Literature Symposium Series, 34)

Farewell to the Yahwist?: The Composition of the Pentateuch in Recent European Interpretation (Society of Biblical Literature Symposium Series, 34)
Read more
Computer Vision and Graphics: International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)

Computer Vision and Graphics: International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)
Read more
CMMI (R): Guidelines for Process Integration and Product Improvement

CMMI (R): Guidelines for Process Integration and Product Improvement
Read more
Wirtschaftliche Wirkungen und Besucherzufriedenheit der UEFA EURO 2008: Eine empirische Analyse fur Osterreich

Wirtschaftliche Wirkungen und Besucherzufriedenheit der UEFA EURO 2008: Eine empirische Analyse fur Osterreich
Read more
Modules and Comodules (Trends in Mathematics) (Trends in Mathematics)

Modules and Comodules (Trends in Mathematics) (Trends in Mathematics)
Read more
Topology-based methods in visualization II

Topology-based methods in visualization II
Read more
Geography of Canada (Acsus Papers)

Geography of Canada (Acsus Papers)
Read more
Wewnętrzne instalacje wodociągowe i kanalizacyjne

Wewnętrzne instalacje wodociągowe i kanalizacyjne
Read more
A Farewell to the Yahwist. The Composition of the Pentateuch in Recent European Interpretation

A Farewell to the Yahwist. The Composition of the Pentateuch in Recent European Interpretation
Read more
Unternehmensnachfolge (MPI Studies on Intellectual Property, Competition and Tax Law) (German Edition)

Unternehmensnachfolge (MPI Studies on Intellectual Property, Competition and Tax Law) (German Edition)
Read more
PCR Detection of Microbial Pathogens (Methods in Molecular Biology Vol 216)

PCR Detection of Microbial Pathogens (Methods in Molecular Biology Vol 216)
Read more
CMMI(R): Guidelines for Process Integration and Product Improvement

CMMI(R): Guidelines for Process Integration and Product Improvement
Read more
Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95, Lyngby, Denmark,

Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95, Lyngby, Denmark,
Read more
Large-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers (Lecture Notes in Computer Science)

Large-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers (Lecture Notes in Computer Science)
Read more
From Elementary Probability to Stochastic Differential Equations with MAPLE (Universitext)

From Elementary Probability to Stochastic Differential Equations with MAPLE (Universitext)
Read more
Process Design, Facility Location and Flow Control

Process Design, Facility Location and Flow Control
Read more
Dynamic Logic

Dynamic Logic
Read more
The Courage of Doing Philosophy: Essays Presented to Leszek Nowak

The Courage of Doing Philosophy: Essays Presented to Leszek Nowak
Read more
Numerical Analysis and Its Applications 1 conf., WNAA'96

Numerical Analysis and Its Applications 1 conf., WNAA'96
Read more
P-adic functional analysis: proceedings of the fourth international conference

P-adic functional analysis: proceedings of the fourth international conference
Read more
Choroby wewnętrzne: podręcznik multimedialny oparty na zasadach EBM., Tom 1

Choroby wewnętrzne: podręcznik multimedialny oparty na zasadach EBM., Tom 1
Read more
Descriptive Topology in Selected Topics of Functional Analysis

Descriptive Topology in Selected Topics of Functional Analysis
Read more
Dynamic logic

Dynamic logic
Read more
Management Practices in High-Tech Environments

Management Practices in High-Tech Environments
Read more
Zbiór zadań z fizyki z rozwiązaniami

Zbiór zadań z fizyki z rozwiązaniami
Read more
Large-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers (Lecture Notes in Computer ... Computer Science and General Issues)

Large-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers (Lecture Notes in Computer ... Computer Science and General Issues)
Read more
MPI User's Group Meeting Cracow, Poland, November 3-5,

MPI User's Group Meeting Cracow, Poland, November 3-5,
Read more
Descriptive Topology in Selected Topics of Functional Analysis

Descriptive Topology in Selected Topics of Functional Analysis
Read more
Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)
Read more